método axiomático


método axiomático
En lógica, procedimiento mediante el cual una ciencia en su totalidad o un sistema de teoremas es deducido lógicamente, de acuerdo con reglas determinadas, a partir de ciertos enunciados básicos (axiomas), que a su vez se construyen a partir de un pequeño número de términos postulados como primitivos.

Estos términos pueden ser definidos en forma arbitraria o concebidos conforme a un modelo que parezca ofrecer alguna justificación intuitiva con respecto a la verdad de aquellos. Los sistemas axiomáticos más antiguos son la silogística de Aristóteles y la geometría euclidiana. A comienzos del s. XX, Bertrand Russell y Alfred North Whitehead trataron de formalizar la matemática en su conjunto de un modo axiomático. Algunos autores han sometido incluso las ciencias empíricas a este método, como J. H. Woodger en The Axiomatic Method in Biology [El método axiomático en biología] (1937) y Clark Hull en Principios del comportamiento (1943).

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • axiomático — ► adjetivo 1 LÓGICA Del axioma: ■ punto axiomático. 2 Que es muy evidente: ■ lo presentó como una verdad axiomática. SINÓNIMO indiscutible * * * axiomático, a 1 adj. De [o del] axioma. ⊚ Tan evidente como un axioma. 2 f. Conjunto de definiciones… …   Enciclopedia Universal

  • Método empírico-analítico — El método empírico es un modelo de investigación científica, que se basa en la lógica empírica y que junto al método fenomenológico es el más usado en el campo de las ciencias sociales y en las ciencias descriptivas. El término empírico deriva… …   Wikipedia Español

  • Método — (Del lat. methodus < gr. methodos , camino para llegar a un resultado.) ► sustantivo masculino 1 Modo de hacer las cosas, siguiendo un cierto orden o costumbre, para alcanzar un fin determinado: ■ método analítico; método sintético; método de… …   Enciclopedia Universal

  • Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… …   Wikipedia Español

  • Método científico — El método científico (del griego: μετά = hacia, a lo largo οδός = camino ; y del latín scientia = conocimiento; camino hacia el conocimiento) es un método de investigación usado principalmente en la producción de conocimiento en las ciencias.… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Matemática helénica — Aunque muchos matemáticos griegos vivieron durante bastante tiempo en Egipto y Mesopotamia, y de sus culturas aprendieron casi todo en un principio, hicieron algo radicalmente original para las matemáticas: convertirlas en una ciencia racional;… …   Wikipedia Español

  • Blaise Pascal — Saltar a navegación, búsqueda Blaise Pascal Blaise Pascal Filosofía occidental Filosofía del siglo XVII …   Wikipedia Español

  • Integral de Lebesgue — La integral de una función no negativa puede ser interpretada como el área bajo la curva. En matemática, la integración de una función no negativa (por considerar el caso más simple) puede considerarse como el área entre la gráfica de una curva y …   Wikipedia Español

  • Geometría euclidiana — La geometría euclidiana (no confundir con Geometría Euclídea) fue la recopilada por el matemático griego clásico Euclides alrededor de 300 años antes de J.C. La geometría euclidiana es aquella que estudia las propiedades del plano y el espacio… …   Enciclopedia Universal


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.